Who is the all time heaviest defensive player in the NFL?

Ted Washington, who at one point was up to 400 lbs.