XXV . Alphonse VI de Portugal, roi de Portugal