Structure of hypothetical protein HP1257.