Te recomiendo que cambies $HTTP_POST_FILES por $_FILES.
Y te recomiendo que uses la funcion
move_uploaded_file() para poner tu archivo dentro de la carpeta del servidor.
Un ejemplo seria:
<?
move_uploaded_file($_FILES['archivo']['tmp_name'], '/tucarpeta/myFile.txt');
?>