Budapest Philharmonic Orchestra, Hungarian Radio Choir And Children's Choir & Arpád Jóo