You can still sometimes find mushroom ketchup in UK supermarkets. It tastes a bit like Worcester sauce (spicy and 'brown' tasting), but milder as it has no anchovies in it.