AIDS-188740 AIDS188740 ethyl 5-[(2S,3S,4R)-3,4-dihydroxypyrrolidin-2-yl]-2-methyl-3-furoate