El Cid ; Ben Hur ; King of kings : Original motion picture scores