2-Thiophenepropanamide, .alpha.-[(4-chlorobenzoyl)amino]-N-[(3R)-1-[(4-chlorophenyl)methyl]-3-pyrrolidinyl]-, (.alpha.S)- AIDS-180291 AIDS180291