I would like to take herbal remedies to lower my cholesterol. I've read that certain artichoke leaf extract - Valverde Artischocke, which is manufactured by Novartis Consumer Health GmbH. However, I could not find this product anywhere, not even on Amazon. I am wondering if anyone heard of or know where I can purchase this product. What is the best artichoke leaf extract currently available in the U.S for lowering cholesterol level?