Afonso VI, King of Portugal, 1643-1683