Mars Gravity Assist to Improve Missions Towards Main-Belt Asteroids