Filete de huachinango con costra de champiñones