Enchiladas with cream of mushroom soup