Heterocycle-substituted proline dipeptides as potent VLA-4 antagonists.