Aperiodicity, Star-freeness, and First-order Logic Definability of Structured Context-Free Languages Preprint in arXiv (June 2020)