Hypercholesterolemia in primary biliary cirrhosis is no risk factor for atherosclerosis