Myocarditis in an HIV-infected patient with Covid-19.