Coronary heart disease in a patient with cerebrotendinous xanthomatosis