6-Allyl-4,5,6,7-tetrahydroimidazo[4,5,1-jk][1]benzazepin-2(1H)-thione AIDS-025347 AIDS025347 Carba analog TIBO deriv.