Epidemiological evidence and molecular basis of interactions between HIV and JC virus