4,5,6,7-Tetrahydro-5,8-dimethyl-6-(3-ethyl-2-pentyl)imdazo[4,5,1-jk]pyrido[3,4-f][1,4]diazepin-2(1H)-one AIDS-028051 AIDS028051 TIBO deriv.