Real Atjar Tumis Djamur (Mushroom Pickles)