Multiple sclerosis, natalizumab therapy, and progressive multifocal leukoencephalopathy