Reds lose to Red Sox, setting MLB record for batting in a season