Prague Festival Orchestra, Hungarian State Orchestra, Pavel