The mode of binding of potential transition-state analogs to acetylcholinesterase