Electrosynthesis, in Silico Ligand-Protein Interaction and Pharmacokinetic Studies of Some Aryl Sulfone Derivatives as Potential Acetylcholinesterase Inhibitors