a quién se debe el nombre real felipe