EEG changes in humans during regeneration after heavy physical strain with the influence of theanine; amino acid in green tea.