Neuropsychologic effects of saturation diving.