Rodrigo Leão, Orquestra Gulbenkian e Coro Gulbenkian, RUI PINHEIRO & Sérgio Fontão