Moneys derived by agencies of the Government from the sale of records disposed of under this chapter shall be paid into the Treasury of the United States unless otherwise required by law.