XXXII . Antonio de Portugal, moine