Na,K-dependent adenosinetriphosphatase activity in mammalian kidney