AIDS-224574 AIDS224574 Imidazo[1,5,4-ef][1,5]benzodiazepine-2(1H)-thione, 9-bromo-7-ethyl-4,5,6,7-tetrahydro-