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