Question: Who produced a musical theme for a 1984 movie starring Eddie Murphy that became an international number 1 hit theme in 1985?
{'answer': 'Harold Faltermeyer', 'supporting_facts': [['Beverly Hills Cop (franchise)', 1], ['Beverly Hills Cop (franchise)', 5], ['Axel F', 0], ['Axel F', 1]]}