Asymptotically efficient nonparametric estimation of functionals of a spectral density function