Determination of plasma and cerebrospinal fluid levels of dilantin in the human.