Castillo de San Felipe de Barajas, en el cerro de San Lázaro