羊肚菌煮多久