John IV of Portugal (1604-1656)/descendants