Código PHP:
<?php
$colname_alumno = "-1";
# Ojo, $_SERVER no creo que sea lo que necesitás...
# Acá usas el array $_GET o $_POST, dependiendo del método que hayas usado en el formulario.
if (isset($_POST['matricula']))
{
$colname_alumno = $_POST['matricula'];
}
mysql_select_db($database_clinicas, $clinicas);
$query_alumno = sprintf("SELECT * FROM customer WHERE matricula = %s ORDER BY
matricula ASC", GetSQLValueString($colname_alumno, "text"));
$alumno = mysql_query($query_alumno, $clinicas) or die(mysql_error());
$totalRows_alumno = mysql_num_rows($alumno);
$inp = '';
while($row_alumno = mysql_fetch_assoc($alumno))
{
$inp .= '<input type="text" name="nombre" value="' . $row_alumno['columna'] . '" />';
}
echo $inp;
?>
Esto es sólo un ejemplo... La variable $inp tiene los resultados de la query dentro de un inputo, sólo faltaría imprimirla dentro de tu formulario.
Saludos