Progressive multifocal leukoencephalopathy in an HIV patient was diagnosed by 3 times lumbar punctures and 2 times brain biopsies