Former Mariners’ Randy Johnson takes in BB Hall of Fame