Haber hice algo parecido...
Prueba con esto:
Código PHP:
<?
if($row["Alu_Nombre"] == NULL){
echo "No se encontraron valores para ";
echo $row["Alu_Nombre"];
echo " .";
else{
while($row=mysql_fetch_array($result))
echo '<p>'.$row["Alu_Nombre"].'<br />';
mysql_free_result($result)
}
?>