图书馆有文艺书400本,文艺书的本书是科技书的20%,科技书多少本?