(3S,4S,2R,5R)-2,5-Dihydroxymethyl-1-hexylpyrrolidine-3,4-diol AIDS-104130 AIDS104130