AIDS-133220 AIDS133220 Dimethyl 2-(2-methoxy-2-oxo-1-(4,5,6,7-tetrahydro-1,3-benzodithiol-2-ylidene)ethyl)-1,3-dithiole-4,5-dicarboxylate NSC628523