2,2-Dibromo-1-(3-phenyl-4,5-dihydro-isoxazol-5-yl)-ethanone AIDS-086423 AIDS086423