Discovery by co-crystallization: High-resolution electron-density maps of HIV-1 aspartyl protease complexed with a potent Phe–Pro isostere-based inhibitor (shown) allowed the determination of the stereochemistry of the inhibitor and an initial assessment of the inhibition properties of this compound without its purification from the epimeric mixture.