which classical composer's symphony was used in the soundtrack of the movie "die hard"?