Do post-COVID-19 patients need a second dose of vaccine?