A record of planet migration in the main asteroid belt