Vaccination for equine viral arteritis.