Phenyl-substituted aminomethylene-bisphosphonates inhibit human P5C reductase and show antiproliferative activity against proline-hyperproducing tumour cells