Alveolar-arterial oxygen pressure difference in man immersed up to the neck in water.