The effect of hyperbaric oxygenation on cerebrospinal fluid oxygen.