5-(Aminothioxomethyl)-3-piperidylpyrazine-2-carboxamide AIDS-044832 AIDS044832 Pyrazinecarbothioamide der.