Extreme xanthomatosis in patients with both familial hypercholesterolemia and cerebrotendinous xanthomatosis