The 72-inch AVF cyclotron that was at Princeton