Washington Commanders defensive tackle Jonathan Allen will miss the remainder of the season after tearing his left pectoral muscle Sunday, coach Dan Quinn announced Monday.

Allen suffered the tear during the third quarter of a 30-23 loss to Baltimore, rolling over in pain after running back Derrick Henry scored on a 7-yard touchdown run with 2 minutes, 12 seconds remaining.

Allen had tests on the sideline and after the game and later expressed optimism in the locker room about his health outlook. But an MRI Monday afternoon revealed the tear.

Washington also had two other defensive linemen exit the game with injuries — defensive ends Dorance Armstrong (rib) and Javontae Jean-Baptiste (right foot). Their status remains uncertain.

Allen has been one of Washington’s top defensive linemen since the team drafted him in the first round in 2017. He made the Pro Bowl in 2021 and ’22 when he had a combined 16.5 sacks. Allen had two sacks in six games this season.

He and fellow defensive tackle Daron Payne, a first-round pick in 2018, formed a strong combination inside for Washington.

The Commanders drafted tackle Johnny Newton in the second round and also have Phidarian Mathis, a second-round pick in 2021.

Allen has one more year left on his contract, but there’s no guaranteed money, so the Commanders would save $17 million on their salary cap if they released him.