You're right about "Hall of the Mountain King" (good ear!), but I was going for the main melody -- and I just realized it's "Ballad of a Teenage Queen" by Johnny Cash.