Gravar-mail: Typing of human polyomavirus JC virus on the basis of restriction fragment length polymorphisms.