Hola, esto se debe a que ajax procesa los datos en UTF8 y no en ISO-8859-1, para resolverlo tienes que codificar tus variables en la funcion ajax y decodificar en php. te quedaria asi:
function principal(valor)
{
var divMensaje=document.getElementById("principal");
var ajax=nuevoAjax();
divMensaje.innerHTML="Ingresando...";
ajax.open("POST", "proceso.php?", true);
ajax.setRequestHeader("Content-Type", "application/x-www-form-urlencoded");
ajax.send("principal="+encodeURIComponent(valor));
ajax.onreadystatechange=function()
{
if (ajax.readyState==4)
{
divMensaje.innerHTML=ajax.responseText;
}
}
}
Y en PHP tendrias que cargar la variable asi:
$principal = UTF8_DECODE ($_POST['principal']);
Espero te sirva, saludos!
