A 13-year-old boy for neurocysticercosis, complaining of sometime times headache and fits. What could be the effective treatment for neurocysticercosis?