John Williams, José Buenagu & Orquesta Sinfónica de Sevilla