si en el momento de darle a seleccionar y como bien te ha dicho abimaelrc los input's estñan todos dentro del mismo formulario debería recibir los datos en el lado del servidor. Recibirías lo que el usuario haya escrito en docente y lo que haya escrito en aula. Simplemente cuando el php busque al docente, que se encargue también de rellenar el atributo value del input con el valor que haya recibido. EJ:
Código PHP:
Ver original<input type="text" name="aula" value="<?php echo $_POST['aula']; ?>" otros_attributos...>