Gas-induced osmosis as a factor influencing the distribution of body water.