Analysis of integrated proviral DNA sequences with an octadecanucleotide probe designed for specific identification of spleen focus-forming virus in the mouse genome