Quantitative comparisons of the electroencephalographic stimulant effects of deanol, choline, and amphetamine