choline carbamoylcholine tricholine cholinester butyrylthiocholine benzoylcholine arsenocholine phosphocholine cholyl chlorocholine