Me han cobrado IRPF en la prestacion de paternidad. - Agencia Tributaria

Buenos dias. Como digo en el titulo, en el año 2020 fui padre, alla por mayo. El asunto es que disfrute del permiso de paternidad, pero mi "unidad", puesto que soy militar, no dio conocimiento a la SS de dicha cirscunstancia, por lo cual esas 12 semanas de paternidad no estuvieron exentas de IRPF, cuando debería de haber sido al contrario. Total que tengo que reclamarlo yo, en el trabajo no me lo hacen. Mi pregunta es, puesto que ya tengo los documentos que acreditan dicha paternidad y los dias, ¿cómo procedo en la declaracion de la renta para reclamar ese IRPF? ¿lo hago mediante rectificacion y aporto la documentacion?¿ hay un formulario? (que no sea el de reclamar los ejercicios desde el 2014) ¿el calculo de la cuantia deberia de hacerlo yo?
¿serviria esta formula? : Retribuciones dinerarias de la casilla 002 X (84 dias / 365) = X ; y por ultimo Casilla 002 - X?
Otras ocasiones que he reclamado dias de IRPF lo hice asi y sin fallos. Que opinais? Gracias.