A5751, ACETYLTHIOCHOLINE IODIDE