Identification of Potent Acetylcholinesterase Inhibitors as New Candidates for Alzheimer Disease via Virtual Screening, Molecular Docking, Dynamic Simulation, and Molecular Mechanics–Poisson–Boltzmann Surface Area Calculations | Synapse