Su nombre completo fue Pedro Infante Cruz.