This probably won't be much help, but I remember the scene in the film, and I had the impression at the time that it was not a traditional song like the others in the film.

You might have to watch the whole film again to see the credits and find its origin there ...