Progressive Multifocal Leukoencephalopathy in AIDS: The Diagnostic Role of PET Imaging | Synapse