1,1,4,4-Tetraethylpiperazium di-p-toluenesulfonate AIDS-018937 AIDS018937