(+/-)-7-trans-Methyl-4,5,6,7-tetrahydro-5-methyl-6-(3-methyl-2-butenyl)imidazo-[4,5,1-jk][1,4]- benzodiazepin-2(IH)-thione AIDS-025470 AIDS025470 R84963 TIBO deriv.