Text this: Progressive multifocal leukoencephalopathy: a challenging diagnosis established at autopsy