Name a microbe used for statin production. How do statins lower blood cholesterol level?