A Theoretical Study of the Interactions of Acetylcholinesterase, Irreversible Inhibitors, and Their Antidotes