A case of cerebrotendinous xanthomatosis in a woman with a normal cholesterolemia.