Circadian rhythm in the EEG of man