How FDA’s top vaccines official is timing his COVID booster and flu shot for fall 2023