AIDS-135411 AIDS135411 Diethyl 1-phenylcyclohexan-4-one-1,3-dicarboxylate Diethyl 4-oxo-1-phenyl-1,3-cyclohexanedicarboxylate NSC635178