what is the largest manufactured drug with the brand of micardis?
(ARGMAX (AND medicine.manufactured_drug_form (JOIN business.consumer_product.brand m.0j4tn5g)) medicine.manufactured_drug_form.size)