Multiple Sequence Alignment with Pro le Hidden Markov Models