Posted: 06/10/2012 at 16:07
I suspect that this is something that will be gone after this autumn, or possibly after next spring. The mushroom compost is full of nascent mushrooms, but they will die when they run out of food, which will be quite soon.
I would suggest aeriating the lawn to improve drainage, and then give it time.