One-proton catalysis in the deacetylation of acetylcholinesterase