Binary sequences with prescribed autocorrelations