(+)-(S)-8-Ethynyl-1,2,4,5,6,7-hexahydro-5-methyl-6-(3-methyl-2-butenyl)-2-oxoimidazol[4,51-jk][1,4]benzodiazepine AIDS-028029 AIDS028029 TIBO deriv.