Molecular genetic analysis of vaccinia virus DNA polymerase mutants.