AIDS-152808 AIDS152808 Ethyl 1-(4-bromo-2-butenyl)-2-oxocyclooctanecarboxylate NSC697871