7.2% NaCl/10% dextran 60 versus 20% mannitol for treatment of intracranial hypertension.