Antibiotics for the treatment of dysentery in children