Protective effect of vaccination on the risk of cardiovascular disease after SARS-CoV-2 infection.