Identification of components of (Na+ plus K+)-adenosine triphosphatase by double isotopic labeling and electrophoresis.