Estrogonofe na Cerveja

pimenta-do-reino a gosto, 2 tomates médios sem pele e sem sementes, ½ xícara (chá) de cerveja, 200 g de manteiga, 2 colher (sopa) de azeite de oliva, sal a gosto, 1 colher (sopa) de ketchup, 500 gramas de filé mignon, 1 cebola média…