Homotopy classification of twisted complex projective spaces of dimension 4 - Mukai, Juno.