who wrote the beverly hills cop theme song