Safety requirements for maintenance and distribution of transgenic mice susceptible to human viruses: the example of poliovirus-susceptible transgenic mice.