5-[(2S,3S,4R)-3,4-dihydroxypyrrolidin-2-yl]-N-isopropyl-2-methyl-3-furamide AIDS-188742 AIDS188742