Penicillin in the prevention of infection during operations on the brain and spinal cord.