Disinfection in veterinary practice.