Isolation, characterization, and physical mapping of temperature-sensitive mutants of vaccinia virus.