NEW YORK (AP) — Jacob deGrom struck out 13 batters — the most ever for a Mets pitcher who threw five or fewer innings — but didn’t factor into the decision Sunday, when the NL East leaders beat the Pittsburgh Pirates 7-3 to complete a four-game sweep.