Sequencing and analysis of John Cunningham polyomavirus DNA from acquired immunodeficiency syndrome patients with progressive multifocal leukoencephalopathy