(5S,2R,3R,4R)-2,5-Bis(hydroxymethyl)-1-butylpyrrolidine-3,4-diol AIDS-105071 AIDS105071 SRI 8697