Compounds represented by formula (I) wherein A represents R, R<13> and radicals represented by formula (II), B represents R<5> and radicals represented by formula (III) (values for the variables given herein) are effective as retroviral protease inhibitors and in particular as inhibitors of HIV protease.