Stimulation of Na+,K+-ATPase Activity as a Possible Driving Force in Cholesterol Evolution