5H-Benzocyclohepten-5,8-imine-6,7-dicarboxylic acid, 10-cyclohexyl-8,9-dihydro-9-oxo-5-phenyl-, dimethyl ester AIDS-152854 AIDS152854 NSC697942