257891-75-1 AIDS-212213 AIDS212213 Imidazo[4,5,1-jk][1,4]benzodiazepine-2(1H)-thione, 4,5,6,7-tetrahydro-5-methyl-6-(2-methyl-2-propenyl)-