4-{2-[(Aminothioxomethyl)amino]-2-azavinyl}phenol AIDS-114917 AIDS114917