Hyperbaric oxygen in the treatment of elevated intracranial pressure after head injury.