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 "Axel F"): "Axel F" is the electronic instrumental theme from the 1984 film "Beverly Hills Cop" performed by Harold Faltermeyer.
Relevant evidence: Yes