4,5,6,7-Tetrahydro-5,8-dimethyl-6-(3-methyl-2-butenyl)imdazo[4,5,1-jk]pyrido[3,4-f][1,4]diazepin-2(1H)-one AIDS-028050 AIDS028050 TIBO deriv.