(3S,4S,2R,5R)-2,5-Dihydroxymethyl-1-dodecylpyrrolidine-3,4-diol AIDS-104132 AIDS104132