This federal doctor’s research has made HIV/AIDS manageable and saved lives