Cardinals' Jose Martinez records first major-league hit