(1R,2R,3S,7S,7aR)-3-Hydroxymethyl-1,2,7-trihydroxypyrrolizidine 3,7.alpha.-Diepialexine AIDS-004353 AIDS004353