257891-55-7 AIDS-212193 AIDS212193 Imidazo[4,5,1-jk][1,4]benzodiazepin-2(1H)-one, 8-bromo-4,5,6,7-tetrahydro-5-methyl-6-(3-methyl-2-butenyl)-