4,5,6,7-Tetrahydro-7-methyl-6-(3-methyl-2-butenyl)imidazo[4,5-1-jk][1,4]benzodiazepine-2-(1H)-thione AIDS-044586 AIDS044586 TIBO deriv.