1-Ethoxycarbonyl-4-thioformylpiperazine AIDS-136422 AIDS136422 Ethyl 4-thioformyl-1-piperazinecarboxylate NSC637830