4,5,6,7-Tetrahydro-6-(2-methyl-2-propenyl)-5,5-dimethylimidazo[4,5,1-jk][1,4]benzodiazepin-2(1H)-one AIDS-044573 AIDS044573 TIBO deriv.