Iglesia de San Ildefonso, lado este