No, they don’t. Coprinus comatus does not contain any benzocoprines, and does not interact with alcohol. Coprinopsis atramentaria is the one you are referring to. Completely different genus - and not one I’d recommend eating anyways, besides the alcohol interaction they have been found to cause testicular lesions!