And what happened next? He mixed those coins? Transformed them into monero?

first step is to turn them into real crypo like ETH (so its unfreezable)

then probably mix them via different methods

then sell them via OTC-style swap platforms like fixedfloat / changelly etc

Has to. As ETH they are probably still tracable.