2-((1R)-1-Hydroxyethyl)(3S,4R)pyrrolidine-3,4-diol AIDS-104817 AIDS104817