Computational modeling for rational design of novel phenoxy tacrine derivatives targeting Alzheimer’s disease | Synapse