The energy requirement for sodium extrusion from a frog muscle