Nonsevere COVID‐19 pneumonia Had ongoing ART HIV treatment (tenofovir, lamivudine, efavirenz) After COVID‐19 diagnosis, given lopinavir/ritonavir Shortened disease course and quick resolution of pulmonary lesions