IX . Alphonse I de Portugal, roi de Portugal