(+)-(S)-1,2,4,5,6,7-Hexahydro-5-methyl-6-(3-methyl-2-butenyl)-2-thioxoimidazol[4,51-jk][1,4]benzodiazepine-8-carbonitrile AIDS-030879 AIDS030879 TIBO deriv.