Malignant external otitis in children.