Combine los aminos de coco, el vinagre de vino tinto, 1 cucharada de aceite de oliva, la sal y la pimienta en una bolsa de plástico grande con cierre hermético. Cierre la bolsa y mezcle suavemente los ingredientes.

Agregue los trozos de filete al adobo, extraiga el aire y cierre la bolsa. Mueva suavemente los trozos de filete dentro de la bolsa para cubrirlos con el adobo. Refrigere durante al menos 15 a 20 minutos, pero no más de 1 hora.

Mientras tanto, derrita 2 cucharadas de mantequilla en un recipiente apto para microondas, revuelva el ajo picado y reserve. Escurra el adobo de los trozos de filete y séquelos suavemente con toallas de papel.

Caliente la mantequilla restante a fuego medio-alto en una sartén grande. Cuando la mantequilla esté chisporroteando, agregue los trozos de filete en una sola capa y dórelos hasta que estén dorados, de 1 a 2 minutos por cada lado. Dore en 2 tandas si es necesario. Retire el filete de la sartén a un plato y cúbralo con papel aluminio; déjelo reposar.

Agregue los champiñones y las cebollas a la misma sartén. Revuelva con frecuencia hasta que los champiñones y las cebollas comiencen a tomar algo de color, aproximadamente 2 minutos. Agregue alrededor de 2 cucharadas de agua, si la sartén parece seca, y baje el fuego a medio.