2-Pyrrolidinecarboxamide, N-[[1-[(4-chlorophenyl)methyl]-4-piperidinyl]methyl]-1-[(5-nitro-3-thienyl)carbonyl]- AIDS-180345 AIDS180345