AIDS-134617 AIDS134617 NSC633174 Octahydro-1H,3H-isoxazolo[3,4-a]indolizine