Si $usuario es una cadena estás olvidando las comillas en tu consulta.
Cita: ... WHERE columna = 'valor' ...
Por eso es bueno aprender a depurar siempre nuestras consultas:
Código PHP:
$res = mysql_query("select cod_alumno from users where usuario =".$usuario) or die(mysql_error());