Cerebrotendinous xanthomatosis: report of a case