2-((1S)-1-Hydroxyethyl)(4S,3R)pyrrolidine-3,4-diol AIDS-104188 AIDS104188