(5S,2R,3R,4R)-2,5-Bis(hydroxymethyl)-1-octylpyrrolidine-3,4-diol AIDS-105070 AIDS105070 SRI 8713