The Mets made another trade to help their injury-depleted pitching staff Thursday, acquiring Dave Williams from the Reds for a minor leaguer. The Reds got right-hander Robert Manuel in the deal and assigned him to Class-A Dayton. They also sent about $500,000 to the Mets to cover half of Williams' remaining salary this season. Williams is making $1.4 million this year.