HIV infection and risk of COVID-19 mortality