Brown the chopped onion in the olive oil. Cut the mushrooms into thin strips. Join the onion and the mushroom strips with the tomato juice and cook for 15 minutes, whereupon add the minced cloves of garlic and salt.