what is the distributor of the film that starred eddie murphy in the titular role ?
20th century fox