Philip IV (1605-1665), king of Spain