さすがにHIV罹患→梅毒→JCウイルスという病歴は考えすぎでしょうか。いずれにしても梅毒の検査をすることには変わりはないでしょう。髄液所見はなんでもありなので、これをみて梅毒の否定はできません。