Final All-Star Game bittersweet for Davey Johnson