Aunque digas que vayas a usar una BD (que si, es mejor) te dire como concatenar (eso es lo que deseas hacer) datos o.o
Código PHP:
$archivo="descargar-".$_POST['programa']."-".$_POST['version'].".html" ;
Usando el punto (.) puedes concatenar variables con cadenas