6-propylsulfanyl-5-tert.butylpyrazine-2-carbothioamide AIDS-077075 AIDS077075