JC virus VP1 loop-specific polymorphisms are associated with favorable prognosis for progressive multifocal leukoencephalopathy