TRIETHYLCHOLINE IODIDE