Properties of cholera toxin- and NaF-stimulated adenylate cyclase from mouse thymocytes