Philip IV, King of Spain (1605-1665)/descendants