6,12-Dibromo-1,4-dioxaspiro[4.7]dodecane AIDS-135211 AIDS135211 NSC634579