Question: Who produced a musical theme for a 1984 movie starring Eddie Murphy that became an international number 1 hit theme in 1985?
Sentence (from "Beverly Hills Cop (franchise)"): The films have made a total of $735,534,503 at the worldwide box office.
Relevant evidence: No