1-((2E,5E)-3,6-Dimethylhepta-2,5-dienyl)(5S,2R,3R,4R)-2,5-bis(hydroxymethyl)pyrrolidine-3,4-diol AIDS-105072 AIDS105072 SRI 8729