This site gives no chemical doses, for a reason. In India a pesticide may be used only on the crop and for the pest on its approved label, registered through the Central Insecticides Board and Registration Committee. Mushroom is a minor crop and few products carry a mushroom label. A dose copied from a manual, a neighbour or a shop is not a legal or safe basis.
The gate is one question, asked before purchase: is this product currently approved for mushrooms in India, for this problem, and what does the current label say? If the answer is not a current label, the answer is no. NHB's model DPR keeps one timing rule: at least 48 hours between any spray and picking.