Evidence for disequilibrium chemistry from vertical mixing in hot Jupiter atmospheres