AIDS-145251 AIDS145251 NSC669722 Octahydro-2H-quinolizine-1,2,3-triol