Is a step-down antiretroviral therapy necessary to fight severe acute respiratory syndrome coronavirus 2 in HIV-infected patients?