Astrocytomas of the cerebellum in children.