Cerebrotendinous xanthomatosis