Johnathan Banks cast as De Doofenshmirtz