257891-51-3 AIDS-212189 AIDS212189 Imidazo[4,5,1-jk][1,4]benzodiazepin-2(1H)-one, 8-ethynyl-4,5,6,7-tetrahydro-5-methyl-6-(3-methyl-2-butenyl)-