Text this: Tree Languages Defined in First-Order Logic with One Quantifier Alternation