The only mic I have experience with on your list is the AKG C1000s. I'd remove it from your list of choices. It's a brittle mic; there are better choices for the $.
I agree- subtract C1000S from the list and add AKG C2000B. It would be my first choice in the price range. I haven't gotten to use the ADK mics, but reviews have been generally good.-Richie
seems to me the 3035 gets more love than it needs. when it works it works well (that's true of all mics) but it only seems to like one type of voice.
i'd probably get an rode nt1 for that price.
the kangaroos seem to do cheap better.