2-(1,3-Benzodioxol-5-yl)-5,6-dihydro-7H-[1,2,4]triazolo[5,1-b][1,3]thiazin-7-one AIDS-142950 AIDS142950 NSC661837