Gravar-mail: Deletion of a 9,000-base-pair segment of the vaccinia virus genome that encodes nonessential polypeptides.