257891-57-9 AIDS-212195 AIDS212195 Imidazo[4,5,1-jk][1,4]benzodiazepin-2(1H)-one, 4,5,6,7-tetrahydro-5-methyl-6-(3-methyl-2-butenyl)-9-(trifluoromethyl)-