Effectiveness of COVID-19 primary and booster vaccination in HIV-infected individuals. (1st April 2023)