¿Qué actores encabezan el principal reparto de la película "El hombre de la máscara de hierro"?