491-40-7 AIDS-124909 AIDS124909 NSC56138 Octahydro-4H-quinolizin-4-one