AIDS-138789 AIDS138789 Ethyl 1-(3-ethoxy-3-oxopropyl)-2-oxocyclohexanecarboxylate NSC646227