Did Red Sox pitcher Jon Lester apply substance to ball?