João é chamado para atender um cavalo, da raça Mangalarga, pesando 450 kg e que está apresentando claudicação no membro torácico direito após um entorse no boleto. Para o tratamento clínico dessa claudicação, é indicado o uso de