Correlation between benzodiazepine receptor occupation and anticonvulsant effects of diazepam