Describir: Experimental authentication of quantum key distribution with post-quantum cryptography