Gravar-mail: Synthetic peptides as substrates and inhibitors of a retroviral protease.