puerto rican mushroom dishes