Hyperbaric oxygen therapy of iatrogenic cerebral arterial gas embolism.