Carbamazepine versus diphenylhydantoin in the treatment of myotonia.