7-(3-Methyl-2-butenyl)-2-thioxo-1,2,4,5,6,7-hexahydro-8H-imidazo[4,5,1-kl][1,5]benzodiazocin-8-one AIDS-144881 AIDS144881 NSC668372