Conversione in legge, con modificazioni, del decreto-legge 31 luglio 1954, n. 533, concernente la disciplina relativa ai diritti, compensi e proventi percepiti dal personale delle Amministrazioni dello Stato