"No annuity or other benefit shall be payable to any person on the basis of the compensation and years of service of an individual by reason of the provisions of subsection (a), (b), or (c) of this section if, and to the extent that, such annuity or other benefit would duplicate a benefit payable to such person on the basis of such compensation and years of service under a provision of the Social S" . . . .