AIDS-138759 AIDS138759 Ethyl 1-(3-ethoxy-1-methyl-2-propenyl)-2-oxocyclohexanecarboxylate NSC646197