AIDS-135407 AIDS135407 Ethyl 4-oxo-1-phenylcyclohexanecarboxylate NSC635173