XXX . Denis ( Diniz ) de Portugal, infant de Portugal