Dr. Krause, Former FDA Deputy Chief for Vaccines did not take the Covid booster