Cidofovir added to HAART improves virologic and clinical outcome in AIDS-associated Progressive Multifocal Leukoencephalopathy.