5-(Aminothioxomethyl)-3-pyrrolidinylpyrazine-2-carboxamide AIDS-044831 AIDS044831 Pyrazinecarbothioamide der.