(+)-4,5,6,7-Tetrahydro-5-(S)-methyl-6-(3-methyl-2-butenyl)imidazo-[4,5,1-jk][1,4]-benzodiazepin- 2(IH)-one AIDS-025466 AIDS025466 R80902 TIBO deriv.