HIV proteinase as a target for drug action.