Te hace falta un parámetro en la llamada al método GET
ajax.open("GET", "ret_retirados1.php?
retirado=0&num_caballo="+num_caballo, true);
Para trabajar de manera asincrona.
también puedes cambiar tu método onreadystatechange, como sugerencia
podrias tener:
if(xmlHttp.readyState==4 || xmlHttp.readyState=='complete'){
if(x.charAt(0)=='.')
location.href=xmlHttp.responseText;
else
document.getElementById('divServerDatosFinal').innerHTML=xmlHttp.responseText;
}
else
document.getElementById('divServerDatosFinal').innerHTML="<img
src='./imagenes/cargando.gif'> Procesando...";