Direct link to the MPS translator page:
http://www.mpsinc.com/plm51.html

It says that it gives you Standard ANSI 'C' output - so you're still going to have to do some manual work porting that to an 8051-specific 'C' (eg, Keil C51)