AIDS-139082 AIDS139082 Methyl 5-oxo-2-phenylcyclohexanecarboxylate NSC647335