Have you tried VistaPro?

I know: outdated and all - but >>> VistaPro carries tons of DEM's with it.

And, I guess that half of Mars is present. You can export from VistaPro in different fromats.

Tried it once with Vue6infinite - worked quite well.

 

Good luck...