2-Thiophenecarboxamide, N-phenyl-N-[(4-phenyl-1-piperazinyl)thioxomethyl]- AIDS-112875 AIDS112875 NSC656458