Nine ideas to improve the clinical management of HIV infected patients during the COVID-19 pandemic