Case definition for progressive multifocal leukoencephalopathy following treatment with monoclonal antibodies. Issue 9 (17th July 2012)