Ocular cysticercosis. A report of 13 cases.