257891-56-8 AIDS-212194 AIDS212194 Imidazo[4,5,1-jk][1,4]benzodiazepine-8-carboxamide, 1,2,4,5,6,7-hexahydro-5-methyl-6-(3-methyl-2-butenyl)-2-oxo-