(5S)-6-(2,2-Dimethylbut-3-en-1-yl)-5-methyl-2-thioxo-1,2,4,5,6,7-hexahydroimidazo[4,5,1-jk][1,4]benzodiazepine-8-carbaldehyde AIDS-167384 AIDS167384