Prague symphony orchestra, Budapest symphony orchestra