The killed Salk and live Sabin vaccines have been used successfully to nearly eliminate which of the following viruses from the human population?