6-Ethylthio-5-propyl-2-pyrazinecarbothioamide AIDS-089890 AIDS089890