Reduction of post-traumatic intracranial hypertension by hypertonic/hyperoncotic saline/dextran and hypertonic mannitol.