Cidofovir in combination with HAART and survival in AIDS-associated progressive multifocal leukoencephalopathy