Charles has given a very good answer to the question. The following is not meant to be an answer, but just a heuristic argument which I cannot make into a proof. There should be an operation, "free product," denoted $\sharp$, in the category of associative topological monoids. If $X,Y$ are based spaces, then $$\Omega (X \vee Y)$$ (Moore loops), should decompose (at least up to homotopy) in this category as $$(\Omega X) \sharp (\Omega Y) .$$ The reason I find this to be plausible is that a loop in $X \vee Y$ is clearly a word of loops of $X$ and $Y$, and a word is supposed to represent an element of the free product. Supposing this to be the case, we could take $X = BM$ and $Y = BN$, then we would have $$ \Omega (BM \vee BN) \simeq (\Omega BM) \sharp (\Omega BN) $$ It should also be the case that the inclusion $$M \ast N \to (\Omega BM) \sharp (\Omega BN)$$ is group completion, since $ (\Omega BM)$ and $ (\Omega BN)$ are group-like and the operation $\sharp$ should preserve grouplike monoids (furtheremore, we also should have $M \ast N \simeq M\sharp N$). If this is true, then $(\Omega BM) \sharp (\Omega BN) \simeq \Omega B (M\ast N)$. If the above works, then the homomorphism $$ \Omega (BM \vee BN) \to (\Omega BM) \sharp (\Omega BN) $$ is an equivalence. Now apply the classifying space to get the desired equivalence $BM \vee BN \simeq B(\Omega BM) \sharp (\Omega BN) \simeq B(M \ast N)$. **Question:** *Can this heuristic sketch be made into a proof?*