Champiñones al oporto

Ingredientes

• 12 champiñones
• Aceite de oliva
• 1 diente de ajo
• 1 cebolla pequeña
• Jamón picadito (1 paquetito de los que venden envasados de 2 en 2)
• 1 vaso de vino de Oporto
• Queso enmental rallado