Acetylcholinesterase, choline acetyltransferase, and the postulated acetylcholine receptor of canine platelets