High-Throughput Screening for Positive Allosteric Modulators Identified Potential Therapeutics against Acetylcholinesterase Inhibition