AIDS-141980 AIDS141980 Diethyl 2-((((allylamino)carbothioyl)amino)methylene)-3-oxosuccinate NSC658503