Choline availability and acetylcholine synthesis in the hippocampus of acetylcholinesterase-deficient mice