Human acetylcholinesterase and butyrylcholinesterase are encoded by two distinct genes