XXX . Antonio de Portugal, moine