5-Methyl-N-7-(3-methyl-but-2-enoyl)-2,4,5,6,7-pentahydro-1H-imidazo[1,5,4-ef][1,5]benzodiazepin-2-thione AIDS-087192 AIDS087192 IsoTIBO deriv NSC658435