Carbon dioxide diuresis at high altitude.