A vector derived from which one of the following viruses is used for high - frequency genomic integration of a transgene in animal cells?