What takes gas out of pinto beans