AIDS-138780 AIDS138780 Ethyl 1-(3-ethoxy-1-methyl-3-oxopropyl)-2-oxocyclohexanecarboxylate NSC646218