AIDS-138779 AIDS138779 Ethyl 3-(1-formyl-2-oxocyclohexyl)butanoate NSC646217