Ethynethiol, phenyl-, potassium salt