The effect of diphenylhydantoin on sleep in the cat