Oklahoma has executed a convicted murderer with a drug combination that includes a sedative commonly used to euthanize animals, after a national shortage of a key ingredient prompted a change in the usual formula.