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