AIDS-152810 AIDS152810 Ethyl 3-ethylidene-4-oxocyclotetradecanecarboxylate NSC697873