Eradication of African swine fever from Brazil.