AIDS-094987 AIDS094987 Pyrrolidine derivative Pyrrolidine, 2-[[2-(2-methoxyethoxy)ethoxy]methyl]-1-methyl-