Para enviar por post hay que agregar esto después de open:
Código PHP:
xmlhttp.setRequestHeader('Content-Type','application/x-www-form-urlencoded');
Así:
Código PHP:
...
xmlhttp.open("POST","demo_post.php",true);
xmlhttp.setRequestHeader('Content-Type','application/x-www-form-urlencoded');
...