Guidelines for the management of severe traumatic brain injury. IV. Infection prophylaxis.