An infection of the protective membranes surrounding the brain, which can occur after brain surgery, is known as: