2-(2-Bromo-2-propenyl)-4-tert-butyl-1-vinylcyclohexanol AIDS-131616 AIDS131616 NSC624348