who did the music for disney's robin hood