On the action of the anticonvulsant 5,5‐diphenylhydantoin and the convulsant picrotoxin in crayfish stretch receptor.