AIDS-152809 AIDS152809 Ethyl 1-(4-bromo-2-butenyl)-2-oxocyclododecanecarboxylate NSC697872