Afonso VI of Portugal (1643-1683)/descendants