A mouse model for poliovirus neurovirulence identifies mutations that attenuate the virus for humans | Synapse