Cerebrotendineous xanthomatosis