David Ortiz on Home Run Derby: 'I'm done with that'