Prague Radio Symphony Orchestra, Ivor Hrachov...