Brewers made big push to acquire Mets’ Pete Alonso at trade deadline