Prague Radio Symphony Orchestra had its premiere in Budapest's Palace of Arts