Is there a rational homotopy equivalence between $\Omega S^3$ and infinite complex projective space? The singular cohomology of the loop space $\Omega S^3$ of the 3-sphere is a divided power algebra $\Gamma_{\mathbb Z}[s]$ on one generator $s$ of degree 2, so the rational cohomology is a the polynomial ring $\mathbb{Q}[s]$. Likewise, the singular cohomology of infinite complex projective space $\mathbb C \mathrm P^\infty = BS^1$ is a polynomial ring $\mathbb{Z}[t]$ on one generator $t$ of degree 2, so the rational cohomology is $\mathbb{Q}[t]$.
Since a symmetric algebra is a free CGA, any lifting of $s$ and $t$ to cocycles in CDGA models for the rational cohomology of these spaces induces a quasi-isomorphism between the cohomology ring, viewed as a CDGA with trivial differential, and the model, so these spaces are both formal. Moreover, both spaces are simply-connected. Thus any map between the two inducing an isomorphism in rational cohomology should be a rational homotopy equivalence.
Does there exist such a map?
P.S.: I guess the same question is equally (un)reasonable for $\Omega S^5$ and $\mathbb H \mathrm P^\infty$. What about this pair?
 A: There is a map $S^3\to K(\mathbb{Z},3)$ inducing an isomorphism on $\pi_3$.  Looping this map, you get a map $\Omega S^3\to K(\mathbb{Z},2)=\mathbb{C}P^\infty$ inducing an isomorphism on $\pi_2$.  It follows easily that this map is a rational equivalence.
For $\Omega S^5$ and $\mathbb{H}P^\infty$, I don't know whether you can get a map $\Omega S^5\to \mathbb{H}P^\infty$ which is a rational equivalence (the above approach doesn't work because you can't deloop $\mathbb{H}P^\infty$).  However, there is no rational equivalence $\mathbb{H}P^\infty\to\Omega S^5$.  For if you had such a map, then it would be nonzero on $H^4(-,\mathbb{Z})$, and so looking at the induced map on the whole integral cohomology rings, you would get a ring-homomorphism $\Gamma_\mathbb{Z}(s)\to\mathbb{Z}[t]$ sending $s$ to $nt$ for some nonzero integer $n$.  But if $p$ is a prime not dividing $n$, such a homomorphism would have nowhere to send $s^p/p!$.  (Alternatively, you could use Steenrod powers: a rational equivalence $\mathbb{H}P^\infty\to\Omega S^5$ would yield a map $\Sigma\mathbb{H}P^\infty\to S^5$ whose induced map on $H^5(-,\mathbb{Z})$ is multiplication by some nonzero integer $n$; reducing mod a prime not dividing $n$ and considering the Steenrod power $P^2$ then yields a contradiction).  Note, however, that they can easily be connected by a zigzag of rational equivalences: for instance, a map from either of them to $K(\mathbb{Z},4)$ classifying a generator of $H^4$ is a rational equivalence.
