Thiocholine esters