6-Propylthio-5-propyl-2-pyrazinecarbothioamide AIDS-089891 AIDS089891