Coronavirus booster: should you exercise after the Covid-19 booster, and how long should you wait?