Disease: Cerebrotendinous xanthomatosis