AIDS-142317 AIDS142317 Diethyl 2-oxo-3-((4-oxo-2-thioxo-1-imidazolidinyl)methylene)succinate NSC659396