(3S,4S,2R,5R)-2,5-Dihydroxymethyl-1-octylpyrrolidine-3,4-diol AIDS-104131 AIDS104131