5H-Benzocyclohepten-5,8-imine-6-carboxylic acid, 10-cyclohexyl-8,9-dihydro-9-oxo-5-phenyl-, methyl ester AIDS-152853 AIDS152853 NSC697941