Delivery of human acetylcholinesterase by adeno-associated virus to the acetylcholinesterase knockout mouse