Thuốc điều trị đặc hiệu khi nhiễm Gnasthostoma spiningerum là: