Qual é o tratamento de primeira linha para cisticercose?