Deberías modificar donde se comprueba el tipo de archivo:
Código PHP:
if ($_FILES['archivo1']['name'] == "" OR $tipo_archivo1 == "image/pjpeg" OR $tipo_archivo1 == "image/jpeg" OR $tipo_archivo1 == "image/gif" )
Para aceptar archivos pdf que el mime type sería "application/pdf". Pero tengo que recordarte que estas validaciones son vulnerables porque pueden subir otro archivo distinto y hacer que su navegador te engañe mandandote otro mime.