Mushroom gravy using pressure cooker