A high-performance liquid chromatography assay of brain adenylate cyclase using [3H]ATP as substrate